University of Washington

Results: 13635



#Item
201

Learning Compact Lexicons for CCG Semantic Parsing Yoav Artzi∗ Computer Science & Engineering University of Washington Seattle, WA 98195

Add to Reading List

Source URL: yoavartzi.com

- Date: 2018-04-02 13:13:17
    202

    Program Synthesis as a Generative Method Eric Butler Paul G. Allen School of Computer Science and Engineering University of Washington

    Add to Reading List

    Source URL: www.ericbutler.net

    - Date: 2017-06-30 18:55:02
      203

      Quantifying over Play: Constraining Undesirable Solutions in Puzzle Design Adam M. Smith, Eric Butler, Zoran Popovi´c Center for Game Science, Dept. of Computer Science & Engineering, University of Washington {amsmith,e

      Add to Reading List

      Source URL: www.ericbutler.net

      - Date: 2015-06-29 01:01:36
        204

        A Framework for Computer-Aided Design of Educational Domain Models Eric Butler, Emina Torlak, and Zoran Popovi´c University of Washington {edbutler,emina,zoran}@cs.washington.edu

        Add to Reading List

        Source URL: www.ericbutler.net

        - Date: 2018-01-12 12:40:07
          205

          University of Mary Washington President’s Task Force on Sexual Assault Report and Final Recommendations March 15, 2016

          Add to Reading List

          Source URL: diversity.umw.edu

          - Date: 2017-09-22 16:49:39
            206

            What’s Reusable In Program Analysis? [Extended Abstract] Grigory Fedyukovich Computer Science and Engineering, University of Washington, Seattle, Washington, USA

            Add to Reading List

            Source URL: staticanalysis.org

            - Date: 2018-03-29 12:35:32
              207

              Hardware–Software Co-Design: Not Just a Cliché Adrian Sampson, James Bornholt, and Luis Ceze University of Washington, US {asampson,bornholt,luisceze}@cs.washington.edu Abstract

              Add to Reading List

              Source URL: homes.cs.washington.edu

              - Date: 2016-11-23 00:38:16
                208

                Value-Suppressing Uncertainty Palettes Dominik Moritz University of Washington Bivariate Map of Value and Uncertainty

                Add to Reading List

                Source URL: idl.cs.washington.edu

                  209

                  Approaches for Teaching Computational Thinking Strategies in an Educational Game: A Position Paper Aaron Bauer, Eric Butler, Zoran Popovi´c Center for Game Science Computer Science & Engineering University of Washington

                  Add to Reading List

                  Source URL: www.ericbutler.net

                  - Date: 2015-09-13 18:26:49
                    210

                    Hyperkernel: Push-Button Verification of an OS Kernel Luke Nelson, Helgi Sigurbjarnarson, Kaiyuan Zhang, Dylan Johnson, James Bornholt, Emina Torlak, and Xi Wang University of Washington {lukenels,helgi,kaiyuanz,dgj16,bo

                    Add to Reading List

                    Source URL: homes.cs.washington.edu

                    - Date: 2017-10-04 19:47:21
                      UPDATE